Remove non-existent xc_ptrace_core() from xenctrl.h.

Signed-off-by: Keir Fraser <keir@xensource.com>

diff --git a/tools/libxc/xenctrl.h b/tools/libxc/xenctrl.h
index d3f03681181e8dbcfa35728af313af81ae01ec09..f6d982952adc25159688795ea907a023af9173e3 100644 (file)
--- a/tools/libxc/xenctrl.h
+++ b/tools/libxc/xenctrl.h
@@ -120,24 +120,19 @@ typedef struct xc_core_header {
 
 #define XC_CORE_MAGIC 0xF00FEBED
 
-long xc_ptrace_core(
-    int xc_handle,
-    enum __ptrace_request request,
-    uint32_t domid,
-    long addr,
-    long data,
-    vcpu_guest_context_t *ctxt);
 void * map_domain_va_core(
     unsigned long domfd,
     int cpu,
     void *guest_va,
     vcpu_guest_context_t *ctxt);
+
 int xc_waitdomain_core(
     int xc_handle,
     int domain,
     int *status,
     int options,
     vcpu_guest_context_t *ctxt);
+
 typedef void (*thr_ev_handler_t)(long);
 
 void xc_register_event_handler(